A Maple Package for Conditional Event Algebras
نویسندگان
چکیده
We present a Maple package for experimenting with conditional event algebras of Schay-Adams-Calabrese, Goodman-Nguyen-Walker and product space of Goodman and Nguyen. It includes the implementation of the first polynomial time algorithm for calculating probabilities in the product space cea.
منابع مشابه
Clifford and Graßmann Hopf algebras via the BIGEBRA package for Maple ( R ) ∗
Hopf algebraic structures will replace groups and group representations as the leading paradigm in forthcoming times. K -theory, co-homology, entanglement, statistics, representation categories, quantized or twisted structures as well as more geometric topics of invariant theory, e.g., the Graßmann-Cayley bracket algebra are all covered by the Hopf algebraic framework. The new branch of experim...
متن کاملThe MAPLE package for calculating Poincaré series
Abstract. We offer a Maple package Poincare_Series for calculating the Poincaré series for the algebras of invariants/covariants of binary forms, for the algebras of joint invariants/covariants of several binary forms, for the kernel of Weitzenböck derivations,for the bivariate Poincaré series of algebra of covariants of binary d-form and for the multivariate Poincaré series of the algebras of ...
متن کاملMathematics of CLIFFORD - A Maple Package for Clifford and Graßmann Algebras
CLIFFORD performs various computations in Graßmann and Clifford algebras. It can compute with quaternions, octonions, and matrices with entries in Cl(B) the Clifford algebra of a vector space V endowed with an arbitrary bilinear form B. Two user-selectable algorithms for Clifford product are implemented: cmulNUM based on Chevalley’s recursive formula, and cmulRS based on non-recursive Rota-Stei...
متن کاملClifford and Graßmann Hopf algebras via the BIGEBRA package for Maple
Hopf algebraic structures will replace groups and group representations as the leading paradigm in forthcoming times. K-theory, co-homology, entanglement, statistics, representation categories, quantized or twisted structures as well as more geometric topics of invariant theory, e.g., the Graßmann-Cayley bracket algebra, are all covered by the Hopf algebraic framework. The new branch of experim...
متن کاملComputational Algorithm for Obtaining Abelian Subalgebras in Lie Algebras
The set of all abelian subalgebras is computationally obtained for any given finite-dimensional Lie algebra, starting from the nonzero brackets in its law. More concretely, an algorithm is described and implemented to compute a basis for each nontrivial abelian subalgebra with the help of the symbolic computation package MAPLE. Finally, it is also shown a brief computational study for this impl...
متن کامل